Contribution to safety analyses of DEMO HCPB using AINA code
نویسندگان
چکیده
منابع مشابه
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independently that the assembly output of such tools has the desired safety properties. By working at assembly level we avoid the complications with unavailability of source code, with source-level parsing, and we certify the ...
متن کاملcontribution of setting to the study of characters and the main idea in e. brontes: wuthering heights and t. hardys: return of the native.
this thesis aims to adduce an unmitigated and comprehensive explication concerning the relationship of three significant elements of fiction: setting, chracter and theme. my research is basically placed on two outstanding novels of the 19th century: emily brontes wuthering heights and thomas hardys return of the native. my endeavour lies in studying the correlation among the three above-mention...
15 صفحه اولA Comparison of Seismic Safety of Steel MRF Designed According to Different Editions of Iranian Seismic Code
In this paper, efforts are made to compare the safety of steel moment resistant frames designed according to different editions of the Iranian code of Practice for seismic resistant design of buildings. Also, failure risk of a low and medium height frame which designed for high and low seismicity regions according to three editions of the code are evaluated. First, the testing cases were design...
متن کاملUncertainty Analyses Using the MELCOR Severe Accident Analysis Code
The MELCOR code is a detailed system level computer code capable of performing integrated selfconsistent analyses of severe accident progression in commercial nuclear power plants, supporting level 2 probablilistic risk assessment (PRA) studies. Originally developed as a fast running tool with simplified models for performing probabilistic safety analyses and sensitivity studies, MELCOR now emp...
متن کاملIndividual Code Analyses in Practice
Custom-made static code analyses and derived metrics are a method of choice when dealing with customer-specific requirements for software quality assurance and problem detection. State-of-the-art development environments (IDE) provide standard analyses for code complexity, coding conventions, or potential bug warnings out-of-the-box. Beyond that, complementary projects have developed common rev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fusion Engineering and Design
سال: 2019
ISSN: 0920-3796
DOI: 10.1016/j.fusengdes.2018.11.030